Michael Kohlhase
22 publications
8 venues
H Index 16
Affiliation
Friedrich Alexander University of Erlangen-Nuremberg, Erlangen, GermanyJacobs University, Bremen, Germany
Links
DBLPGoogle Scholar
ORCID- https://kwarc.info/people/mkohlhase/
- https://dl.acm.org/profile/81100087492
- https://zbmath.org/authors/?q=ai:kohlhase.michael
- https://mathgenealogy.org/id.php?id=136649
- https://en.wikipedia.org/wiki/Michael_Kohlhase
- https://www.wikidata.org/entity/Q91233
- http://isni.org/isni/0000000055199011
- https://viaf.org/viaf/2721665
- https://id.loc.gov/authorities/names/n00009356
- https://d-nb.info/gnd/111886600
- https://d-nb.info/gnd/1129482057
- https://mathscinet.ams.org/mathscinet/MRAuthorID/340638
| Name | Venue | Year | citations |
|---|---|---|---|
Bringing Mathematics to the Web of Data: The Case of the Mathematics Subject Classification.
|
ESWC | 2012 | 18 |
| The Planetary System: Executable Science, Technology, Engineering and Math Papers.
|
ESWC | 2011 | 2 |
| Publishing Math Lecture Notes as Linked Data.
|
ESWC | 2010 | 39 |
| Proof Development with OMEGA.
|
CADE | 2002 | 84 |
| System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning.
|
CADE | 2002 | 57 |
| Feature Logic for Dotted Types: A Formalism for Complex Word Meanings.
|
ACL | 2000 | 6 |
| System Description: MBASE, an Open Mathematical Knowledge Base.
|
CADE | 2000 | 40 |
| System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving.
|
CADE | 1999 | 52 |
| Extensional Higher-Order Resolution.
|
CADE | 1998 | 34 |
| System Description: LEO - A Higher-Order Theorem Prover.
|
CADE | 1998 | 95 |
| Computing Parallelism in Discourse.
|
IJCAI | 1997 | 19 |
| Omega: Towards a Mathematical Assistant.
|
CADE | 1997 | 148 |
| A Colored Version of the Lambda-Calculus.
|
CADE | 1997 | 13 |
| Higher-Order Coloured Unification and Natural Language Semantics.
|
ACL | 1996 | 42 |
| A Resolution Calculus for Presuppositions.
|
ECAI | 1996 | 7 |
| Focus and Higher-Order Unification.
|
COLING | 1996 | 29 |
| Higher-Order Tableaux.
|
TABLEAUX | 1995 | 35 |
| KEIM: A Toolkit for Automated Deduction.
|
CADE | 1994 | 18 |
| A Mechanization of Strong Kleene Logic for Partial Functions.
|
CADE | 1994 | 53 |
| Omega-MKRP: A Proof Development Environment.
|
CADE | 1994 | 38 |
| Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading.
|
CADE | 1994 | 10 |
| Unification in Order-Sorted Type Theory.
|
LPAR | 1992 | 13 |